Theories and their Applications – a Case of Nonmonotonic Reasoning
نویسندگان
چکیده
منابع مشابه
Logical Properties of Nonmonotonic Causal Theories and the Action Language C+
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge representation, as well as a higher level, special-purpose notation, the action language C+, for specifying and reasoning about the effects of actions and the persistence (‘inertia’) of facts over time. In this paper we i...
متن کاملExperimenting with Nonmonotonic Reasoning
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identiication system for generated theories, which allows us to reconstruct a logic program or a default theory from its identiier. Hence, exchanging test cases requires only exchangin...
متن کاملRevising Nonmonotonic Theories: The Case of Defeasible Logic
The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising f...
متن کاملDefault Reasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کاملDefault geasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کامل